description n. 1.記述,敘述,描寫;記載。 2.敘事文;(物品)說明書;相貌說明書。 3.種類。 4.作圖;繪制。 a man answering (to) that description 和相貌說明書符合的人。 pencils of every description 各種鉛筆。 persons of that description 那一類人。 a speech of the poorest description 內(nèi)容平淡到極點(diǎn)的演說。 beyond description 難以形容。 give [make] a description of 敘述…的樣子;說明。 the description of a circle 畫圓圈。
logic n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
Product similarity reasoning : a description logic approach 一種描述邏輯的方法
Daml oil , description logic dl 描述邏輯等
Description logic survey 描述邏輯綜述
35 ian horrocks , peter f patel - schneider . reducing owl entailment to description logic satisfiability . in proc 該方法支持靜態(tài)知識,動態(tài)過程和運(yùn)行機(jī)制的有效的表示和推理。
An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information 摘要為了提高對復(fù)雜模糊信息的表示能力,提出一種擴(kuò)展的模糊描述邏輯。
Daml oil : a description logic for the semantic web . bull . the ieee computer society technical committee on data engineering , 2002 , 25 : 4 - 9 針對目前的描述邏輯無法表示動態(tài)服務(wù)的推理功能,史忠植等人提出了動態(tài)描述邏輯ddl 。
Comparing to the reasoning mechanism in concept language and description logic , a ~ ( h ) improves the efficiency of semantic matching between agent capabilities 相比于概念語言和描述邏輯中的推理機(jī)制, a ~ h提高了主體能力語義匹配的效率。
The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic 定義了擴(kuò)展模糊描述邏輯的語法結(jié)構(gòu)、語義解釋、知識庫形式以及基于可滿足性的推理問題。
The workshop on applications of description logics ki 01 , vienna , austria , 2001 , pp . 12 - 24 . 23 caragea d , syeda - mahmood t . semantic api matching for automatic service composition 通過實驗可以看出,語義服務(wù)匹配算法在精度上要優(yōu)于基線服務(wù)匹配算法,而且可以有效的提供服務(wù)排序結(jié)果,便于用戶區(qū)分服務(wù)。
Concept classification and frame expression . by comparing the frame expression and logic expression , we adopt description logic for automatically classify the concepts during knowledge navigation 通過對本體的框架表示和邏輯表示進(jìn)行比較分析,提出用本體的描述邏輯表達(dá)來解決知識導(dǎo)航過程中概念的自動分類問題。
Description logic (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first-order predicate logic.